Philosophers of experiment have acknowledged that experiments are often more than mere hypothesis-tests, once thought to be an experiment's exclusive calling. Drawing on examples from contemporary biology, I make an additional amendment to our understanding of experiment by examining the way that `wide' instrumentation can, for reasons of efficiency, lead scientists away from traditional hypothesis-directed methods of experimentation and towards exploratory methods.

Philosophical discussions of species have focused on multicellular, sexual animals and have often neglected to consider unicellular organisms like bacteria. This article begins to fill this gap by considering what species concepts, if any, apply neatly to the bacterial world. First, I argue that the biological species concept cannot be applied to bacteria because of the variable rates of genetic transfer between populations, depending in part on which gene type is prioritized. Second, I present a critique of phylogenetic bacterial species, (...) arguing that phylogenetic bacterial classification requires a questionable metaphysical commitment to the existence of essential genes. I conclude by considering how microbiologists have dealt with these biological complexities by using more pragmatic and not exclusively evolutionary accounts of species. I argue that this pragmatism is not borne of laziness but rather of the substantial conceptual problems in classifying bacteria based on any evolutionary standard. (shrink)

In computer science, an algorithm is an unambiguous specification of how to solve a class of problems. Algorithms can perform calculation, data processing and automated reasoning tasks. As an effective method, an algorithm can be expressed within a finite amount of space and time and in a well-defined formal language for calculating a function. Starting from an initial state and initial input (perhaps empty), the instructions describe a computation that, when executed, proceeds through a finite number of well-defined successive states, (...) eventually producing "output" and terminating at a final ending state. The transition from one state to the next is not necessarily deterministic; some algorithms, known as randomized algorithms, incorporate random input. This book introduces a set of concepts in solving problems computationally such as Growth of Functions; Backtracking; Divide and Conquer; Greedy Algorithms; Dynamic Programming; Elementary Graph Algorithms; Minimal Spanning Tree; Single-Source Shortest Paths; All Pairs Shortest Paths; Flow Networks; Polynomial Multiplication, to ways of solving NP-Complete Problems, supported with comprehensive, and detailed problems and solutions, making it an ideal resource to those studying computer science, computer engineering and information technology. (shrink)

We show that the first order theory of the lattice $\mathscr{L}^{ (S) of finite dimensional closed subsets of any nontrivial infinite dimensional Steinitz Exhange System S has logical complexity at least that of first order number theory and that the first order theory of the lattice L(S ∞ ) of computably enumerable closed subsets of any nontrivial infinite dimensional computable Steinitz Exchange System S ∞ has logical complexity exactly that of first order number theory. Thus, for example, the lattice of (...) finite dimensional subspaces of a standard copy of $\bigoplus_\omega$ Q interprets first order arithmetic and is therefore as complicated as possible. In particular, our results show that the first order theories of the lattice L(V ∞ ) of c.e. subspaces of a fully effective ℵ 0 -dimensional vector space V∞ and the lattice of c.e. algebraically closed subfields of a fully effective algebraically closed field F ∞ of countably infinite transcendence degree each have logical complexity that of first order number theory. (shrink)

Electrophysiology deals with apparatus applied in a stimulus response situation. This technique is partly concerned with physical problems, partly with biological ones. The failure to appreciate differences in these problems leads to assumptions which require critical examination. Assumptions stating the constancy of objective stimuli, the meaning of inter and intra-individual variation, and the stability of the so-called “resting level” are examined.Some experiments are cited which reveal complications by the apperception of the patient and which have a significant influence on electrophysiological (...) data. The evocation of stress reactions by routine laboratory procedures is discussed and a suggestion is made of the way in which the validity of electro-physiological measurements may be improved.Dans la science de l'électro-physiologie on se sert des instruments pour mesurer des processus de réaction d'une objet stimulée.La méthodique dans cette science est dérivée partiellement de la science biologique et partiellement de la science physicale.Une des difficultées est d'apprécier justement des differences dans les problèmes de mesure dans les deux terraines scientifiques, ce que mène à des assumptions douteuses, qui a besoin d'une examination scrupuleuze.Des assumptions concernant la constance de stimulations objectives, la significance des variations inter- et intra-individuelles et la stabilité du niveau, dit „resting level”, sont examinés.Quelques experiments, révelant des complexités dans l'apperception des patients ayant une influence importante sur les données électro-physiologiques, sont cités.L'évocation des réactions de tension, par des procedures routinières en laboratoire sont discutés et une suggestion afin d'améliorer la validité des données de mesure électrophysiologique est donnée.In der Elektrophysiologie ist man beschäftigt mit Instrumentarium, waraus die Zusammenhang zwischen Reiz und Reaktion untersucht wird. In diesen Untersuchungen werden Methoden angewandt, welche teils aus der biologischen, teils aus der physikalischen Wissenschaft stammen. Es kommt vor, dass Unterschiede in Messungsprobleme innerhalb jedem Fachgebiet nicht richtig gewertet werden, was zu Annahmen führt, welche eine kritische Analyse bedürfen.Annahmen was betrifft, die Konstanz von objective Reize, die Bedeutung von inter- und intra-individuellen Variationen und die Konstanz des sogenannten „resting level”, wurden einer Analyse unterzogen.Einige Experimenten sind zitiert, die eine erhebliche Komplexität in der Wahrnehmungsempfindung des Patienten nachweisen und die eine bedeutungsvolle Einfluss haben auf den elektro-physiologischen Angaben. Das Hervorrufen Spannungsreaktionen durch Routine-vorgänge im Laboratorium wurde diskutiert und eine Weise um mit möglicherweise zuverlassigem Erfolg elektro-physiologischen Messungen aus zu führen wurde vorgeschlagen. (shrink)

The old ritual word macte was only vaguely understood even in Republican times. As is well known, the ancient critics connected the word with magis, magnus, and explained it as magis auctus. A glance at Walde's Wörterbuch reveals that many attempts have been made in modern times to solve the mystery; but the formidable equipment of the modern philologist has yielded little better results than the popular etymology of the ancients, the most favoured view to-day seeing in mactus the PPP (...) of a verb mago with macto as the frequentative which replaces it. The supposed semantic development of this verb, originally meaning ‘to increase’, has been set forth by Warde Fowler in a well-known passage, to which recent authorities have accorded their assent and praise: ‘the vitality of the deity … was really increased by placing on the altar the organs of life of the victim’. But this is a solution which ignores half the problem: macte and mactare are used not only of the deities but also of the victim. One can perhaps understand lovem mactare as ‘to magnify J.’, but not even by the most superficial analogy can we find a transition from here to the meaning typified in mactare vinum. Yet this is one of the most frequent usages of the word. So deep a gulf lies between the two semantic spheres of the verb that some scholars have sought to find in it two different verbs. But this is a counsel of despair which the editor of the Thesaurus dismisses with a non recte. We must agree, then, with Hey that the modern explanation is ‘sicher eine unrichtige’ and with Meillet-Ernout that there exists ‘aucune étymologie claire’. It is, therefore, surprising that so ill-founded a preconception should lead investigators to ignore or even dismiss important evidence which the ancient authorities offer for the solution of this problem. (shrink)

Downey and Remmel have completely characterized the degrees of c.e. bases for c.e. vector spaces (and c.e. fields) in terms of weak truth table degrees. In this paper we obtain a structural result concerning the interaction between the c.e. Turing degrees and the c.e. weak truth table degrees, which by Downey and Remmel's classification, establishes the existence of c.e. vector spaces (and fields) with the strong antibasis property (a question which they raised). Namely, we construct c.e. sets $B<_{\rm T}A$ such (...) that the c.e. W-degrees below that of A are disjoint from the nonzero c.e. T-degrees below that of A and comparable to that of B. (shrink)

This book, first published in 1968, examines the complicated issues which surround the problem of freewill. Although it reaches a libertarian conclusion, its focus is largely on other questions. What ultimately is at stake in this debate? What difference would it make whether we had freewill or not? Why must disagreement persist, and why do philosophes each opposed conclusions with such confidence? The answers to these questions open new perspectives.

The third edition gives particular attention to neuroimaging, which has emerged in the past decade as one of the most active areas of research in the field.